Studies in picosecond chronoscopy

Imperial Users onl

Chain Reduction for Binary and Zero-Suppressed Decision Diagrams

Chain reduction enables reduced ordered binary decision diagrams (BDDs) and zero-suppressed binary decision diagrams (ZDDs) to each take advantage of the others' ability to symbolically represent Boolean functions in compact form. For any Boolean function, its chain-reduced ZDD (CZDD) representation will be no larger than its ZDD representation, and at most twice the size of its BDD representation. The chain-reduced BDD (CBDD) of a function will be no larger than its BDD representation, and at most three times the size of its CZDD representation. Extensions to the standard algorithms for operating on BDDs and ZDDs enable them to operate on the chain-reduced versions. Experimental evaluations on representative benchmarks for encoding word lists, solving combinatorial problems, and operating on digital circuits indicate that chain reduction can provide significant benefits in terms of both memory and execution time

Storage and hydrolysis of seawater samples for inorganic carbon isotope analysis

Preservation of seawater samples was tested for total inorganic carbon (ΣCO2), stable carbon isotope (δ13C), and radiocarbon (14C) applications using foil bags and storage by refrigeration and freezing. The aim was to preserve representative samples with minimal storage effects but without using toxic methods such as mercuric chloride poisoning. Hydrolysis of samples to CO2 was based on existing methods. Results of IAEA-C2 standard used with deionized water stored in the foil bags showed complete reaction yields, 14C results within 2σ of the consensus value, and δ13C that were internally consistent, indicating that there were no procedural effects associated with the foil bags. 14C results were statistically indistinguishable across the storage times, for frozen and refrigerated seawater samples from a coastal site, Elie Ness, Fife, UK. The scatter of ΣCO2 concentrations and δ13C was within scatter observed in other studies for lake- and seawater samples preserved by acidification or using mercuric chloride. However, both ΣCO2 and δ13C were less variable for frozen samples compared with refrigerated samples. The foil bags are lighter, safer to transport, and similar in cost to glass bottles and allow sample collection in the field and transfer to the hydrolysis vessel without exposure of the sample to atmosphere. Storage of seawater samples in the foil bags was considered a reliable, alternative method to poisoning for ΣCO2, δ13C, and 14C, and freezing the samples is recommended for storage time beyond a week

IN-FLIGHT SHOCK-WAVE PRESSURE MEASUREMENTS ABOVE AND BELOW A BOMBER AIRPLANE AT MACH NUMBERS FROM 1.42 TO 1.69

In-flight shock wave pressure measurements above and below bomber aircraft at mach 1.42 to 1.6

Pore-scale Modeling of Viscous Flow and Induced Forces in Dense Sphere Packings

We propose a method for effectively upscaling incompressible viscous flow in large random polydispersed sphere packings: the emphasis of this method is on the determination of the forces applied on the solid particles by the fluid. Pore bodies and their connections are defined locally through a regular Delaunay triangulation of the packings. Viscous flow equations are upscaled at the pore level, and approximated with a finite volume numerical scheme. We compare numerical simulations of the proposed method to detailed finite element (FEM) simulations of the Stokes equations for assemblies of 8 to 200 spheres. A good agreement is found both in terms of forces exerted on the solid particles and effective permeability coefficients

Composition algebras and the two faces of G2G_{2}

We consider composition and division algebras over the real numbers: We note two r\^oles for the group $G_{2}$: as automorphism group of the octonions and as the isotropy group of a generic 3-form in 7 dimensions. We show why they are equivalent, by means of a regular metric. We express in some diagrams the relation between some pertinent groups, most of them related to the octonions. Some applications to physics are also discussed.Comment: 11 pages, 3 figure

Neighborhoods of trees in circular orderings

In phylogenetics, a common strategy used to construct an evolutionary tree for a set of species X is to search in the space of all such trees for one that optimizes some given score function (such as the minimum evolution, parsimony or likelihood score). As this can be computationally intensive, it was recently proposed to restrict such searches to the set of all those trees that are compatible with some circular ordering of the set X. To inform the design of efficient algorithms to perform such searches, it is therefore of interest to find bounds for the number of trees compatible with a fixed ordering in the neighborhood of a tree that is determined by certain tree operations commonly used to search for trees: the nearest neighbor interchange (nni), the subtree prune and regraft (spr) and the tree bisection and reconnection (tbr) operations. We show that the size of such a neighborhood of a binary tree associated with the nni operation is independent of the tree’s topology, but that this is not the case for the spr and tbr operations. We also give tight upper and lower bounds for the size of the neighborhood of a binary tree for the spr and tbr operations and characterize those trees for which these bounds are attained

Techniques utilized in the simulated altitude testing of a 2D-CD vectoring and reversing nozzle

Simulated altitude testing of a two-dimensional, convergent-divergent, thrust vectoring and reversing exhaust nozzle was accomplished. An important objective of this test was to develop test hardware and techniques to properly operate a vectoring and reversing nozzle within the confines of an altitude test facility. This report presents detailed information on the major test support systems utilized, the operational performance of the systems and the problems encountered, and test equipment improvements recommended for future tests. The most challenging support systems included the multi-axis thrust measurement system, vectored and reverse exhaust gas collection systems, and infrared temperature measurement systems used to evaluate and monitor the nozzle. The feasibility of testing a vectoring and reversing nozzle of this type in an altitude chamber was successfully demonstrated. Supporting systems performed as required. During reverser operation, engine exhaust gases were successfully captured and turned downstream. However, a small amount of exhaust gas spilled out the collector ducts' inlet openings when the reverser was opened more than 60 percent. The spillage did not affect engine or nozzle performance. The three infrared systems which viewed the nozzle through the exhaust collection system worked remarkably well considering the harsh environment

Kaehler Manifolds of Quasi-Constant Holomorphic Sectional Curvatures

The Kaehler manifolds of quasi-constant holomorphic sectional curvatures are introduced as Kaehler manifolds with complex distribution of codimension two, whose holomorphic sectional curvature only depends on the corresponding point and the geometric angle, associated with the section. A curvature identity characterizing such manifolds is found. The biconformal group of transformations whose elements transform Kaehler metrics into Kaehler ones is introduced and biconformal tensor invariants are obtained. This makes it possible to classify the manifolds under consideration locally. The class of locally biconformal flat Kaehler metrics is shown to be exactly the class of Kaehler metrics whose potential function is only a function of the distance from the origin in complex Euclidean space. Finally we show that any rotational even dimensional hypersurface carries locally a natural Kaehler structure, which is of quasi-constant holomorphic sectional curvatures.Comment: 36 page

Trick or Heat? Manipulating Critical Temperature-Based Control Systems Using Rectification Attacks

Temperature sensing and control systems are widely used in the closed-loop control of critical processes such as maintaining the thermal stability of patients, or in alarm systems for detecting temperature-related hazards. However, the security of these systems has yet to be completely explored, leaving potential attack surfaces that can be exploited to take control over critical systems. In this paper we investigate the reliability of temperature-based control systems from a security and safety perspective. We show how unexpected consequences and safety risks can be induced by physical-level attacks on analog temperature sensing components. For instance, we demonstrate that an adversary could remotely manipulate the temperature sensor measurements of an infant incubator to cause potential safety issues, without tampering with the victim system or triggering automatic temperature alarms. This attack exploits the unintended rectification effect that can be induced in operational and instrumentation amplifiers to control the sensor output, tricking the internal control loop of the victim system to heat up or cool down. Furthermore, we show how the exploit of this hardware-level vulnerability could affect different classes of analog sensors that share similar signal conditioning processes. Our experimental results indicate that conventional defenses commonly deployed in these systems are not sufficient to mitigate the threat, so we propose a prototype design of a low-cost anomaly detector for critical applications to ensure the integrity of temperature sensor signals.Comment: Accepted at the ACM Conference on Computer and Communications Security (CCS), 201